Satis cing Evaluation Functions The Heart of the New Design to Criteria Paradigm
نویسندگان
چکیده
Design to Criteria scheduling is the process of custom tailoring a way to achieve a high level task via actions described in a T MS model of the task to t a particular client s quality cost and duration criteria or needs At the heart of the Design to Criteria paradigm is the ability to determine how well a particular schedule or schedule abstraction ts a set of design criteria The process of measuring goodness of schedules or alternatives and determining which items are best is called evaluation Working to meet criteria is ubiquitous in the Design to Criteria scheduling system and consequently evaluation is used at every turn The new evaluation functions operate to determine a principled measurement of goodness based on relativity and proportionality Relativity is important because the objective is to make satis cing choices and the goodness of one option is relative to the other possible options Proportionality is a major concern because we do not want di erent quality cost and duration scales to skew the evaluation mechanism and because the client s criteria is described in a relative proportionalistic fashion The new evaluation functions are paired with a new criteria speci cation metaphor importance sliders The slider metaphor enables clients users or other systems to de ne the relative importance of quality cost and duration with respect to three classes of concerns raw goodness thresholds and limits and uncertainty This material is based upon work supported by the National Science Foundation under Grant No IRI the Department of the Navy O ce of the Chief of Naval Research under Grant No N and via a subcontract from Boeing Helicopter which is being supported by DARPA under the RaDEO program contract number NANB H The content of the information does not necessarily re ect the position or the policy of the Government National Science Foundation or Boeing Helicopter and no o cial endorsement should be inferred
منابع مشابه
Complex Goal Criteria and Its Application in Design to Criteria Scheduling y
Di cult real time AI problems require a means for expressing multi dimensional and dy namic goal criteria and a principled model for satis cing to best meet the criteria In the context of the Design to Criteria task scheduling paradigm we de ne a new general client spec i cation metaphor for describing such complex goal criteria or utility attributes and couple it with a principled evaluation m...
متن کاملNonlinear Robust Regulation Using the Satis cing Paradigm
In this paper we use the recently introduced concept of satis cing decision theory to develop robustly stabilizing state-feedback control strategies for nonlinear systems subject to unknown disturbances. The result is a point-wise \input-to-state satis cing" set of control options from which a continuous feedback strategy can be selected. We show that every input-tostate satis cing control also...
متن کاملNonlinear Robust Regulation Using the Satis cing
In this paper we use the recently introduced concept of satis cing decision theory to develop robustly stabilizing state-feedback control strategies for nonlinear systems subject to unknown disturbances. The result is a point-wise \input-to-state satis cing" set of control options from which a continuous feedback strategy can be selected. We show that every input-tostate satis cing control also...
متن کاملSatis cing and Stochastic Choice
Satis cing is a hugely in uential model of boundedly rational choice, yet it cannot be easily tested using standard choice data. We develop necessary and su cient conditions for stochastic choice data to be consistent with satis cing, assuming that preferences are xed, but search order may change randomly. The model predicts that stochastic choice can only occur amongst elements that are always...
متن کاملA Satis£cing Approach to Assigning Vehicles to Targets
Determining which of N -agents are assigned to which of M -tasks is order M in complexity. By requiring individual agents to identify the set of individually satis£cing actions, this complexity remains exponential but can be signi£cantly reduced. We present an algorithm for identifying individually satis£cing choices in a problem where agents must reach a target while avoiding threats. We demon...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008